Control-Flow Analyses and Static Single Assignment form - Natural Loops (for Reducible Flow-Graphs)